Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
251	Parameterized Proof Complexity∗ Stefan Dantchev, Barnaby Martin, and Stefan Szeider Department of Computer Science Durham University, Durham, England, UK [s.s.dantchev,b.d.martin,stefan.szeider]@durham.ac.uk Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2009-11-10 10:56:36 Computational complexity theory Theory of computation Theoretical computer science NP-complete problems Complexity classes Logic in computer science Finite model theory Parameterized complexity Resolution Exponential time hypothesis Boolean satisfiability problem Conjunctive normal form
252	2003 ALFRED KORZYBSKI MEMORIAL LECTURE ON THE TEACHING OF GENERAL SEMANTICS BY SANFORD I. BERMAN (Delivered at the Twelfth International Conference on General Semantics, Las Vegas, Nevada, November 1, 2003) INTRODUCTION Add to Reading List Source URL: www.generalsemantics.org Language: English - Date: 2011-04-30 13:40:38 General semantics Human communication Interpersonal communication Semantics Logic in computer science Sanford I. Berman Alfred Korzybski Structural differential 11:59 Institute of General Semantics Wendell Johnson Today
253	Automating Inductive Proofs using Theory Exploration Koen Claessen, Moa Johansson, Dan Ros´en, and Nicholas Smallbone Department of Computer Science and Engineering, Chalmers University of Technology {koen,moa.johansson Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-04-17 07:49:01 Mathematics Logic Mathematical logic Automated theorem proving Mathematical proofs Logic in computer science Statements Graph theory Structural induction Rippling ACL2 Lemma
254	An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Theoretical computer science Mathematical logic Software engineering Computability theory Models of computation Logic in computer science Programming language semantics Denotational semantics Recursion Negation True quantified Boolean formula Mathematical proof
255	Recognition and representation of function words in English-learning infants Add to Reading List Source URL: www.gr.uqam.ca Language: English - Date: 2014-11-07 15:32:08 Cognitive science Linguistics Language acquisition Cognition Philosophy of logic Generative linguistics Applied linguistics Language development Syntactic Structures Statistical learning in language acquisition Memory Grammaticality
256	Algorithms for MDC-Based Multi-locus Phylogeny Inference Yun Yu1 , Tandy Warnow2 , and Luay Nakhleh1 1 Dept. of Computer Science, Rice University, 6100 Main Street, Houston, TX 77005, USA Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2011-03-30 11:33:45 Binary trees Phylogenetics Knowledge representation Mathematical logic Data types Phylogenetic tree Tree T-tree Computing
257	Journal of Automated Reasoning manuscript No. DOIs10817Interpolation Systems for Ground Proofs in Automated Deduction: a Survey Maria Paola Bonacina · Moa Johansson Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-03-16 05:12:39 Mathematical logic Logic Theoretical computer science Automated theorem proving Formal methods Logic in computer science Electronic design automation Craig interpolation Interpolation Satisfiability modulo theories Unit propagation Resolution
258	Specialising the Ground Representation in the Logic Programming Language G¨odel. C.A.Gurr∗ University of Edinburgh Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Software engineering Theoretical computer science Logic programming Computer programming Programming paradigms Automated theorem proving Type theory Prolog Unification Substitution Interpreter Term
259	Ramsey Classes by Partite Construction I Honza Hubiˇcka Mathematics and Statistics University of Calgary Calgary Institute of Computer Science Add to Reading List Source URL: www.maths.dur.ac.uk Language: English - Date: 2015-07-24 03:58:18 Mathematics Model theory Algebra Mathematical logic Ramsey theory Ramsey class Age Structure FO Semigroup Amalgamation property Isomorphism
260	ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal Add to Reading List Source URL: www.ijmetmr.com Language: English - Date: 2015-01-27 07:14:30 Electronic engineering Logic gates Electronics Theoretical computer science Digital electronics Logic families Integrated circuits Models of computation Reversible computing Toffoli gate CMOS Transmission gate

UPDATE